Davide Viterbo (1939–2017)
نویسندگان
چکیده
منابع مشابه
Davide Ancona
della relazione invitata A framework for data, knowledge, and reasoning: Datalog± . . . . . . . . . . . . . 1 Georg Gottlob Fondamenti e risultati teorici A Diophantine representation of Wolstenholme’s pseudoprimality . . . . . . . 2 Luca Vallata, Eugenio Omodeo A natural sequent calculus for Lewis’ logic of counterfactuals . . . . . . . . . . . 13 Nicola Olivetti, Gian Luca Pozzato Infinite de...
متن کاملJames of Viterbo on Universals
The chapter starts out with a brief discussion of the similarity alleged to exist by the editors of William Ockham’s Ordinatio between a series of opinions canvassed by Ockham on the nature of universals and a series of opinions listed by James of Viterbo on the nature of concepts. It then proceeds to expound James’s little known theory of concepts and universals, and concludes that, despite in...
متن کاملAn open string analogue of Viterbo functoriality
The MIT Faculty has made this article openly available. Please share how this access benefits you. Your story matters.
متن کاملThe Viterbo–Maslov Index in Dimension Two
We prove a formula that expresses the Viterbo–Maslov index of a smooth strip in an oriented 2-manifold with boundary curves contained in 1-dimensional submanifolds in terms the degree function on the complement of the union of the two submanifolds.
متن کاملDavide Ancona An Algebraic Approach to Mixins and Modularity
State Machines (alias evolving algebras as defined by Y. Gurevich) have been used to specify languages (e.g. Prolog, C++, VHDL) and architectures (e.g. PVM, APE100, Transputer, DLX), to validate standard language implementations (e.g. of Prolog, Occam), to verify numerous distributed and real-time protocols, etc.. See [2] for a recent survey and general discussion of the approach. In this talk,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Crystallographica Section A Foundations and Advances
سال: 2017
ISSN: 2053-2733
DOI: 10.1107/s2053273317011500